4. A Course on Mathematical Logi
Author: / by Shashi Mohan Srivastava
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
Classification :
E-BOOK
5. Analysis of categorical data with R /
Author: Christopher R. Bilder, University of Nebraska-Lincoln, Lincoln, Nebraska, USA, Thomas M. Loughin, Simon Fraser University, Surrey, British Columbia, Canada
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics)-- Data processing,R (Computer program language)
Classification :
QA169
.
B55
2015
7. Category theory for the sciences /
Author: David I. Spivak
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Science-- Mathematical models
Classification :
Q175
.
32
.
M38
S65
2014
8. Category theory for the sciences
Author: Spivak, David I.
Library: Central Library and Documentation Center (Semnan)
Subject: Mathematical models ، Science,، Categories )Mathematics(
Classification :
Q
175
.
32
.
M38
S65
2014
9. Classroom assessment for students in special and general education /
Author: Cathleen G. Spinelli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Children with disabilities-- Education-- United States-- Evaluation.,Educational tests and measurements-- United States.,Inclusive education-- United States-- Evaluation.,Children with disabilities-- Education-- Evaluation.,Educational tests and measurements.,Inclusive education-- Evaluation.,United States., 7
Classification :
LC4031
.
S745
2012
10. Handbook of Logic and Proof Techniques for Computer Science
Author: by Steven G. Krantz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Mathematics.
Classification :
QA76
.
B978
2002
11. Inductive reasoning :
Author: edited by Aidan Feeney, Evan Heit.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Induction (Logic),Reasoning (Psychology),Artificial Intelligence.,Intelligence.,Learning.,Logic.,Induction (Logique),Raisonnement (Psychologie),Induction (Logic),PSYCHOLOGY-- Cognitive Psychology.,Reasoning (Psychology),SCIENCE-- Cognitive Science.
Classification :
BF442
.
I53
2007eb
12. Introduction to formal philosophy /
Author: Sven Ove Hansson, Vincent F. Hendricks, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.
Classification :
B808
.
5
.
I58
2018
13. Iteration Theories :
Author: by Stephen L. Bloom, Zoltán Ésik.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
M35
B978
1993